University of Vienna - PDFSEARCH.IO - Document Search Engine

University of Vienna
Results: 1461

#	Item
61	Name-based view integration for enhancing the reusability in process-driven SOAs Huy Tran1 , Uwe Zdun1 , and Schahram Dustdar1 Distributed Systems Group Information System Institute Vienna University of Technology, Austr Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2011-02-16 11:06:13
62	Applicability of ASP-based Problem Solving on Tree Decompositions Bernhard Bliem, Reinhard Pichler and Stefan Woltran Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9–11; A-1040 Wien Add to Reading List Source URL: dbai.tuwien.ac.at - Date: 2013-06-20 14:18:41
63	Algorithms and Complexity Results for Exact Bayesian Structure Learning Sebastian Ordyniak and Stefan Szeider Institute of Information Systems Vienna University of Technology, Austria Add to Reading List Source URL: event.cwi.nl - Date: 2010-06-18 10:53:36
64	Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec Add to Reading List Source URL: www.peterschueller.com - Date: 2012-11-15 13:02:25
65	International Association of University Presidents 5th–8th July 2017 Vienna, Austria Call for Papers Add to Reading List Source URL: iauptriennial2017.com - Date: 2016-07-15 06:30:49
66	What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Add to Reading List Source URL: forsyte.at - Date: 2016-03-08 09:52:31
67	Incremental and Fully Dynamic Subgraph Connectivity For Emergency Planning Monika Henzinger University of Vienna, Faculty of Computer Science, Vienna, Austria Stefan Neumann Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-07-01 07:59:01
68	Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe Add to Reading List Source URL: multicore.doc.ic.ac.uk - Date: 2015-06-04 05:51:35
69	Maple T.A. in Engineering Educations Stefanie Winkler, Andreas K¨ orner, Vilma Urbonaite Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna, Austria (e-mail: stefanie.winkler@tuwien Add to Reading List Source URL: seth.asc.tuwien.ac.at - Date: 2012-02-08 11:06:59
70	Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle Add to Reading List Source URL: dbai.tuwien.ac.at - Date: 2013-09-24 06:14:24

UPDATE